翻訳と辞書
Words near each other
・ Noviforum
・ Noviglio
・ Novigrad
・ Novigrad Castle
・ Novigrad na Dobri
・ Novigrad Podravski
・ Novigrad, Istria County
・ Novigrad, Zadar County
・ Novik
・ Novik, Iran
・ Novik-class frigate
・ Novika
・ Noviken VLF Transmitter
・ Novikov
・ Novikov conjecture
Novikov ring
・ Novikov self-consistency principle
・ Novikov's compact leaf theorem
・ Novikov's condition
・ Novikovo
・ Novikov–Shubin invariant
・ Novikov–Veselov equation
・ Novillard
・ Novillars
・ Novillas
・ Noville
・ Noville Peninsula
・ Noville, Switzerland
・ Novillero
・ Novillers


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Novikov ring : ウィキペディア英語版
Novikov ring
:''For a concept in quantum cohomology, see the linked article.''
In mathematics, given an additive subgroup \Gamma \subset \mathbb, the Novikov ring \operatorname(\Gamma) of \Gamma is the subring of \mathbb〔Here, \mathbb is the ring consisting of the formal sums \sum_ n_\gamma t^\gamma, n_\gamma integers and ''t'' a formal variable, such that the multiplication is an extension of a multiplication in the integral group ring \mathbb().〕 consisting of formal sums \sum n_ t^
such that \gamma_1 > \gamma_2 > \cdots and \gamma_i \to -\infty. The notion was introduced by S. P. Novikov in the papers that initiated the generalization of Morse theory using a closed one-form instead of a function.
The Novikov ring \operatorname(\Gamma) is a principal ideal domain. Let ''S'' be the subset of \mathbb() consisting of those with leading term 1. Since the elements of ''S'' are unit elements of \operatorname(\Gamma), the localization \operatorname(\Gamma)() of \operatorname(\Gamma) with respect to ''S'' is a subring of \operatorname(\Gamma) called the "rational part" of \operatorname(\Gamma); it is also a principal ideal domain.
== Novikov numbers ==
Given a smooth function ''f'' on a smooth manifold ''M'' with nondegenerate critical points, the usual Morse theory constructs a free chain complex C_
*(f) such that the (integral) rank of C_p is the number of critical points of ''f'' of index ''p'' (called the Morse number). It computes the homology of ''M'': H^
*(C_
*(f)) \approx H^
*(M, \mathbf) (cf. Morse homology.)
In an analogy with this, one can define "Novikov numbers". Let ''X'' be a connected polyhedron with a base point. Each cohomology class \xi \in H^1(X, \mathbb) may be viewed as a linear functional on the first homology group H_1(X, \mathbb) and, composed with the Hurewicz homomorphism, it can be viewed as a group homomorphism \xi: \pi=\pi_1(X) \to \mathbb. By the universal property, this map in turns gives a ring homomorphism \phi_\xi: \mathbb() \to \operatorname = \operatorname(\mathbb), making \operatorname a module over \mathbb(). Since ''X'' is a connected polyhedron, a local coefficient system over it corresponds one-to-one to a \mathbb()-module. Let L_\xi be a local coefficient system corresponding to \operatorname with module structure given by \phi_\xi. The homology group H_p(X, L_\xi) is a finitely generated module over \operatorname, which is, by the structure theorem, a direct sum of the free part and the torsion part. The rank of the free part is called the Novikov Betti number and is denoted by b_p(\xi). The number of cyclic modules in the torsion part is denoted by q_p(\xi). If \xi = 0, L_\xi is trivial and b_p(0) is the usual Betti number of ''X''.
The analog of Morse inequalities holds for Novikov numbers as well (cf. the reference for now.)

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Novikov ring」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.